Formally Verified Approximations of Definite Integrals

机译：正式验证的定积分近似值

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Mahboubi, Assia; Melquiond, Guillaume; Sibut-Pinote, Thomas;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Formally Verified Approximations of Definite Integrals [J] . Mahboubi Assia, Melquiond Guillaume, Sibut-Pinote Thomas Journal of Automated Reasoning . 2019,第2期

机译：正式验证的定积分近似值
2. Teaching ideas and activities for classroom: integrating technology into the pedagogy of integral calculus and the approximation of definite integrals [J] . Gunhan Caglayan International Journal of Mathematical Education in Science and Technology . 2016,第7a8期

机译：课堂教学思想和活动：将技术集成到积分微积分的教学法和定积分的逼近中
3. Approximations first: a closer look at applications of the definite integral [J] . Keith Brandt International Journal of Mathematical Education in Science and Technology . 2017,第1a2期

机译：首先逼近：仔细研究定积分的应用
4. Formally Verified Approximations of Definite Integrals [C] . Assia Mahboubi, Guillaume Melquiond, Thomas Sibut-Pinote International conference on interactive theorem proving . 2016

机译：正式验证的定积分近似值
5. Formally verifying the accuracy of numerical approximations in scientific software. [D] . Zirkel, Timothy K. 2014

机译：在科学软件中正式验证数值逼近的准确性。
6. Density-functional expansion methods: Evaluation of LDA GGA and meta-GGA functionals and different integral approximations [O] . Timothy J. Giese, Darrin M. York -1

机译：密度泛函扩展方法：LDAGGA和meta-GGA泛函的评估以及不同的积分近似
7. Formally Verified Approximations of Definite Integrals [O] . Assia Mahboubi, Guillaume Melquiond, Thomas Sibut-Pinote 2018

机译：正式验证了明确积分的近似
8. Approximations to Joint Distributions of Definite Quadratic Forms. [R] . Jensen, D. R., Solomon, H. 1989

机译：有限二次型联合分布的近似。

Formally Verified Approximations of Definite Integrals

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅